Fix herd-cats-linux64