printout of __file__