Minor changes to compile on Fedora 18, namely linking against librt.