Determine hostname for RMI server dynamically