Update shapeless version.