Deleted unnecessary files in this branch. I hope they were really
unnecessary...