Fix jenkins master merge job

No match.