make t8001 work on Mac OS X again