Fix compilation under ubuntu.