OS specific configure options