misc: use GNU version of sed on all platforms, fixes #355