Keycock compilation