Gruvin9x compilation problem (thanks Jenkins)