Finally remove these files, which moved (by cvs backend magic) to source/auth