Keycock compilation

Date: novembro 15, 2021