escaping sed command in php file