Fix building under Ubuntu 12.04 (part 2)
Store vector of shared pointers to std::ifstream