keys/tripe-keys.in: Compare configuration files properly when updating.