fix osx protean-server script