Fix FileTools so that it works on Fedora.