Fix "make distcheck" failure since we weren't cleaning up a generated file.