[Params] Fix a build error on Ubuntu 12.04.