include some extra files in the source distribution