This is a modified version of wxmpl_plus.py required by AutoPermit.