How to remove jflex from Debian Unstable (Sid)