quick fix for newer Debian versions

this is not a nice fix, but  it should get it working for now