Fix compile on Ubuntu 12.04