python-dev has no copyright file