Revert to using "ProggyClean" on Mac; this uses the .dfont version which is not atialiased