fix for some linux distributions, eg gentoo