Set proper workspace filename in travis-build.sh.