fix for latest BinDeps