added a library: libcockroach.