Fix for Fedora 18