added missing getcaseenv() prototype