libm: fix manifests