Merge "Remove a file we haven't built since 2013."