try to fix travis errors: