################################################################################
### work around bug #487902 in debian-python 0.1.10
################################################################################
### work around bug #487902 in debian-python 0.1.10