Add parameter exe_names to keyhacmacs.configure