Update version, add temporary hacks for semantic enforcer