Replaced ExVector by std::map.

Fixes a memory leak with shadow maps.