Need to remove RCS directories from github.