fixed a path issue under linux systems. Fixes #5