openFile hopefully now fully implemented in gui.py