Removing some stray old files from repository