workaround for a git bug