You're probably right - move it to LinuxIntelCompiler in compilation.py, what do you think? this is for compiling with icc and make mpi visible to PETSc when not using mpiicc