Fixing build on Ubuntu 12.04.