Yes, that's by design. The server name got changed to spc_XXXXX, since RU5..I am afraid, nothing can be done about this, at this stage..:-(
Version 11.0.5002.333 or newer, add SPC_ to the beginning of the server name. If the SPC_ prefix is not included, you will receive the error: "Database Server Not Found", while configuring odbc...etc..