Update for latest Coconut library