Fix Travis config
explicitly set output file name