fixed fprintf's for builtins