chiark / gitweb /
fix python incompatibilities