potential workaround for travix ignoring compiler settings in build matrix (https://github.com/travis-ci/travis-ci/issues/3871)
potential workaround for travix ignoring compiler settings in build matrix
(https://github.com/travis-ci/travis-ci/issues/3871)

sambayless/monosat,sambayless/monosat,sambayless/monosat,sambayless/monosat