work around BinDeps issue