branch mw4: slightly better workaround for mavlinkv10.py import