[COMMIT] Adopt GNU's ## syntax for the interned symbol with name "".