fix build and add -builtins option