bug reporting should work with debian stable