fixed small bug on linux where the last marshaled version was confused by a dot