Release new version to fix packaging problem