I want to modify the header.php file. This is a custom child theme, so the header.php shouldn't be the same as the Twenty Twelve header.php file.
Silly qustion then.
If you stop using your child theme and JUST use Vanilla Twenty Twelve, does it work?