set permissions after git clone, fix #3117