bug 78: deactivate ctrl keys