Add missing files that should be distributed