Update PIE.php

readfile() is preferable to include when you're simply piping a file
to stdout. It removes the overhead of trying to parse a non-PHP file
as PHP, and also eliminates any chance of unwanted code execution.