Fix for Fedora 19