Do not use `builtin` in shell scripts