Fix build on Ubuntu