Fix platform_version on Debian.