Make.options: using $(SORT) for gsort on Windows and sort on Linux