Make the sed commands compatible with Solaris (hopefully).