Updating the embedded coral core library to the most recent 0.3 version.