Convert keys_controller - work around double deletion bug in console code