Trying to fix an encoding problem for the sources