Fix build on Ubuntu 12.10