Hopefully fixes the Travis-CI issues.