Added version number getter to Platform