mdwsetup.py: Fix the licensing header.