Python Pixmap.scaled