Fixing compilation under linux