t5550: do not assume the "matching" push is the default