Άρτι σημειωθείσα παρατήρησις: Ενώ το gawk 3.1.1 θέλει περίπου 40 sec να κάνει Caching Service Dependencies, το gawk 3.1.3-r1 θέλει πάνω από 1 min, 10 sec να κάνει ακριβώς την ίδια δουλειά. Και μετά σου λέει για performance upgrade..;) το ~86 flag έχει και τα μειονεκτήματα του τελικά...