Update drupal-platform.make