Add registrations for symbol server