An attempt to fix travis-ci builds; they worked locally for some reason.