Update libcc3k