rename to avoid collision with bash builtin