girocco: fix sed script