fixing problem with paths on Debian per issue #1