Remove a few old useless files

Things left by vcc that are not used anymore.