Clean up some files

These files are not needed, hence removed.