fixes travis, hopefully