A quickfix about wp filename bad symbols