fix build on linux (openSUSE)