fix realization of exported real servers, fixes #31