Repairs to ReleaseTools