Update smash; fixes #1626.