sga 0.10.13: Install scripts