file extension in run.pl