fixes #188, makes a debian package