Fix coverage script in Travis