Update mma package to 13.12