Another fix for get_system_info.py for OS X.