got rid of extraneous source file