Loading z3 manually upon first usage.