keycock compilation