* Fix build on linux