Remove redundant ## to make g++ happy