Fix #77: Standardize OS name for Mac OS
Update patch version to 0.7.3