fixed build error on Ubuntu 12.04