Make multi-os build work on Travis CI.