This info should probably also be in the `sh_bin` section