Make ModelSpec compile