#17 add 'builtins' option