Fix compilation under some Linux distributions