Further attempts to fix travis