Fix minor problems to get GCC compatibility.

Allows PRC file generation on Ubuntu 12.04 LTS.