todo: do not use unportable 'sed -r'