try to fix up the putty portfile