Remove Happy-generated file.