Note that makePlatformDesign doesn't belong to the current release or devel version of Bioconductor anymore.