bin/*/*.8: sync with reality.