Fixed bug: now possible to load settings also on Linux (str explicitly cast to int).