Attempt to fix bug in travis script.