- Bugfix in FileStream: it is now possible to open another file if the previous attempt failed
- ifstream pointer made const and redundant checks removed
- Disabled type conversion warning