add -builtins option