Updating the coral module with library updates.