restore dev_built_in_server