[Hugs] #87: Strange writeFile behaviour