Fix Ubuntu 12.10 build