Fix for build on Ubuntu