fix #257 (librt doesn't exit on osx)