changed tectonic play install profile