Fix bug when no rootmapfilename is in input to genreflex
in case there is more than one OSX SDK installed, take by default the latest.
don't use most recent OSX SDK but, of course, use the one the system is running.