mike server now prints out files with extentions that are wanted