ran make distclean, see if this fixes travis