Jenkins: prepends the extension ID