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

issue #42 fix tree build issue

See merge request !100
1 job from dev-v3.5.1 in 0 seconds (queued for 26 seconds)
latest
Status Job ID Name Coverage
  External
passed jenkins

00:00:13