fix php pipe with @