Bump stdlib (fixes #860)