some more minor adjustments to build_new_otp_graph_from_sources.sh