ProfileExtender: workaround config escaping