Added :osx64 to default-options