make_resolver_map.py always returns 0, otherwise it stops make