Added functions to force a better behaviour of compilation-mode buffers