compilation-mode customizations