Reverting kill-compilation & kill-this-buffer bindings