another build.fsx and travis.yml tweak