hard etoolbox hard catchfile