Fix installation with Python/Jython 2.5. Fixes #1842.