Cannot push to FlyWheel

Trying to push a new site to FlyWheel…but flywheel is running 5.6, and Local is running php 7.1
Local won’t let me push 5.6 to Flywheel, since its not 7.1 preferred.

Is the only way to be able to push sites is to upgrade FlyWheel to 7.1? On the phone now with Nebraska team, was told to post here. Not sure what I’m missing.