fix file extension of whiletrue