Improved practical-compilation-buffer.