Checked all the resources on Linux, and changed:

- Expand environment variables
- Fix bugs in tests
- Added needed resources files
- Support for lemma resources in configuration