[PATCH] cvs2git and file permissions