- sigh... make jenkins happy again (finally)

The jenkins build got broken by commit 178120c99e0b2fa7c158f589b4781c4b772fed45
(python 2.6's re.sub doesn't support a flags argument).