Travis CI: just to check that everything builds fine on Linux (since it now fails on issue643).
Travis CI: just to check that everything builds fine on Linux (since it now fails on issue643).

Fairly/opencor,Fairly/opencor,mirams/opencor,Fairly/opencor,mirams/opencor,mirams/opencor,mirams/opencor,Fairly/opencor,mirams/opencor,Fairly/opencor