Remove long unused, possibly out of date, file.