adding the malfunctioning pygtkconsole.py