Updates to build on Fedora 19.