Fix building on Ubuntu 13.04