dirty fix for gitolite 3.5.3