Support Jenkins better

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Fix sed expression

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>