Fix compilation of utilities (caught by Bamboo).