Fix to build on Fedora 20