Mac-specific: Adjust code for MacOS 10.9