Compilation buffer is now buried if it was successful.