fix build on ubuntu (finally)