Fix toolfile name.