Make sed usage more compatible

... and a bit less safe

Might close #35