shell call_int and modified path in make_int