From Laurens Voerman, build fix