temporarily avoiding non-ascii filenames (we gotta figure out how to deal with unicode strings in pronterface settings)