Do not search in path if absolute path given
Merge pull request #156 from chsticksel/develop

Do not search in path if absolute path given
Merge pull request #157 from kind2-mc/develop

Do not search in path if absolute path given