fix travis config file (build error)