Hopefully fix USE_CEGUI=OFF