python console: workaround for PyQt 4.11 problem