Rename [[lib]] to [lib].