cmake-compile-command can now be used to customise the compilation command used for cmake-ide-compile