fixing compilation under linux