fix for BinDeps bug