Removed an old unused source file.