make omplapp GUI compatible with PyQt5 (should still work with PyQt4 and PySide as well)