Port CO-linux to 64 bit

Cancelled - Find more jobs like this here