Fixed a small issue with building OpenCOR from the command line (closes #218).