Abgesehen davon ist dein echo $fil; eine heikle Sache. Eine PDF Datei enthält kein HTML Dokument, der Browser erwartet sowas aber (oder hast Du das PDF per Kommandozeile aufgerufen?). Du müsstest $fil also zumindest mit htmlspecialchars aufbereiten, damit der Browser nicht völlig querschießt.
Oder man sendet den passenden Content-header:
<?php
header( 'Content-Type: application/pdf' );
readfile( '/tmp/test.pdf' );
(Das würde ich wohl vorziehen)