Updates to latest revision of libcastel