build failure on Ubuntu 12.04.1