update stded file(s)

A new release after this patch should fix #120 and likely also #92.