fix sed to work on Ubuntu