[darwinbuild-dev] Solution to libredo problem