and another fix for mac os x