page-crunch source code as available in debian/ubuntu package