Fix building on Ubuntu