Fix the build problem on Ubuntu 12.04 LTS (64bit).