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.