Fix build error on 64-bit Ubuntu 12.04