Fix keys.h destroyed by previous commit