Fix script in travis config