Fix to use Python 3, having found the right module for the MainLoop in
devicelistener.py