Storing external libraries with scriptcase, causes invalid charaters conversion

Hi,

when you want to edit an external library within scriptcase, you can do it. See the next line for what I mean:

 
$timeFormatted =  sprintf("%02d:%02d:%02d", $hours, $mins, $secs);

But when you stores, the data is converted as the next.

 
$timeFormatted =  sprintf("?d:?d:?d", $hours, $mins, $secs);

Sure that this is a unicode conversion that is done without bad results.
Many thanks,

Dani