hopefully fixed build on ubuntu