SMM: update build_c_call to correctly deal with function types with void return type