Remove things I accidentally copied over from gheed