Fix Mac OS configurations