SVGHMI: little fixes to make the build go through
svghmi
2019-08-09, Edouard Tisserant