Fixed RMI test failing on Linux (issue #38)