OpenPGP keys used by GNU make
