Fixing a hopefully final travis build issue.