Add missing "platform" package to the distribution as well. Reported by Pietro Cerutti.
merge-mark