Ich bin theoretisch in der Lage, Debian-Pakete zu bauen. Der Server, auf dem die monitord.de-Sachen liegen ist ein 32Bit-vServer. Zu Hause hab ich auch "nur" ein 32Bit-Debian laufen. Eine Neuinstallation wäre zwar mal angemessen, aber ich hab keine Zeit, also auch kein 64Bit zur Hand...
jhr