INSTenv file