fix travis build file extension