PRINCE: Fix double loading of variaTxt.dat file in init()