Fix generation of camlp4o flags