Added workaround for bad cmake