Fix ubuntu 12.04 x64 build