See coolkey.spec