Hoopl: remove dependency on Hoopl package