Ubuntu 12.04 build fix