Fix test 15(server names not hardcoded now)
add import to rem-server