An attempt to fix travis