New upstream release (0.8.13). Fixed built-in update tool.