chiark / gitweb /
manager: fix build on 32bit systems