bin/gui.pl: Resolved #11