Slight change to our compiler plugin [ci skip].

This is the result of fixing a small Xcode building issue (see
https://github.com/opencor/opencor/commit/6161ff7ee75c094f7f98dcf75221de
4534671d01). The difference is that here we don’t ask for LTO since our
compiler plugin effectively compiles only one file…