Ubuntu 14.04 x86_64 build fixed.