fix hedgehog in FileTest