Some key-binding and compilation-mode improvements.