use regular handling of ctrl