Fix config after aquamacs 25 updgrade