Modifications to make it build on Fedora19