Do not reuse ifstream object in MshTetrFileReader since it causes misty crashes