OpenFPGA/.travis/build.sh