fix compilation under linux