It seems like `heimdal_1_3_3` is unused after this commit. Why did you keep the package?