added librt to Z3_LIBRARIES (required on some platforms)