Fix for issue #416, new version of platform