That was a pretty lame attempt if so. Those numbers are octal. You can convert it back with something like this.
$file = '<?php
$ne = "\\156\\157\\40\\145\\162\\162\\157\\162\\163";
?>';
echo preg_replace('/\\\\\\\\(\\d+)/e', 'chr(octdec("\\1"))', $file);
Obviously you need to respect the copyright of the author, so do check your license.