Fix build error on Ubuntu 13.04.