Removed a no-longer-required file.