Linux X86-64 for 2013q1

Quick fix for compiling 64 bits