Hack around 3.x incompatibility of maf-convert.py by running it under /usr/bin/python.