Enable bogus extension module so the dist name will be generated with the full platform info (fix provided by R.Dunn)