Fix for removing stuff from hotbuild list
3
Merge branch 'master' of https://github.com/pietervanh/hotbuild2 into galactic
improvements