Merge branch 'issue#42' into 'dev-v3.5.1'

issue #42 fix tree build issue

See merge request !100
1 job for dev-v3.5.1
in 0 seconds, using 0 compute credits, and was queued for 26 seconds
latest