Summary of changes: 3e11d6d... Update for a tarball with something different for the setup (*) 5ea1ec1... Bump release for updated patch (*) (*) This commit already existed in another branch; no separate mail sent