fixes travis ci unhappiness