Bug#907988: rubber must specify the encoding when opening files

[Nicolas Boulenguez]

Package: rubber
Followup-For: Bug #907988

Hi.
I have checked that 1.5.1 fixes the build-indep target for why3.