Partly fixed in 784914be7a99e496ad4c68157925c6e40177bb40 (because we decided to drop Lamassu CA).