Trying to fix jenkins push of version number increase + cleaning up temp...

... files.