Fix build on ubuntu