replace just '<?php', instead of ignoring the whole line. fixes #271