updated MANIFEST

(using `make manifest`)