--- /dev/null
+--- hatari-1.3.0/python-ui/hatariui~ 2009-08-16 21:44:20.000000000 +0200
++++ hatari-1.3.0/python-ui/hatariui 2009-08-17 12:45:36.000000000 +0200
+@@ -4,18 +4,18 @@
+ name=${0##*/}
+
+ # example setup for Hatari UI
+-$path/$name.py --right "about,|,run,pause,forward,|,reset,|,quit" --embed $*
++python $path/$name.py --right "about,|,run,pause,forward,|,reset,|,quit" --embed $*
+ exit 0
+
+ # test setup without embedding, dupplicate toggles
+-$path/$name.py --top "about,run,pause,quit" \
++python $path/$name.py --top "about,run,pause,quit" \
+ --panel "Testpanel,pause,>,close" \
+ --bottom "sound,|,pause,|,fast,|,Testpanel" \
+ $*
+ exit 0
+
+ # test setup with embedding and all available controls
+-$path/$name.py --embed \
++python $path/$name.py --embed \
+ --top "about,|,run,pause,|,reset,debug,|,quit" \
+ --left "run,pause,reset,machine,about" \
+ --panel "Keys,F1=59,F2=60,F3=61,F4=62,F5=63,F6=64,F7=65,F8=66,F9=67,F10=68,>,Macro=Test,Undo=97,Help=98,Enter=114,>,close" \