These files are not needed anymore