Fix a bunch of problems in manifests and the distribution