Remove obsolete empty proxy.php.