Filter out builtins already on the server side