Modify Travis config, fix build file name.