Remove sed GNUism from configure [#300]

What a mess. I don't want to live on this planet anymore!