Prerequisites to EnvInst section