Attempt to workaround travis-ci bug.