adding 64bit debian60