Cannot verify platform based on custom code

Hello,

I have tried Aegir since last week. First thank you for this platform. It is awesome.

When I try to verify platforms based on drush dl drupal (7 or 8) and install sites on its, it works.

But I wanted to test with a custom install profile (https://github.com/Drupal-FR/socle-drupalcampfr/tree/8.x-1.x/www), I have the following error when trying to verify the platform:

The command could not be executed successfully (returned: Changed permissions of [success] /var/aegir/.drush/platform_socledrupalcamp.alias.drushrc.php to 640 Generated config in write(): Drush configuration file [success] (/var/aegir/.drush/platform_socledrupalcamp.alias.drushrc.php) Changed permissions of [success] /var/aegir/.drush/platform_socledrupalcamp.alias.drushrc.php to 440 , code: 0)

Steps to reproduce:

1. having Aegir installed
2. outsite of Aegir, git clone https://github.com/Drupal-FR/socle-drupalcampfr.git
3. cd www
4. composer install
5. copy the content of www into /var/aegir/platforms/socle-drupalcamp
6. On the hostmaster, add a platform socle-drupalcamp

When I looked at the drush alias generated it seems that the alias is for a server and not a platform:

aegir@debian-x72j:~$ drush sa @platform_socledrupalcamp
$aliases["platform_socledrupalcamp"] = array (
  'context_type' => 'server',
  'server' => '@server_master',
  'remote_host' => 'localhost',
  'aegir_root' => '/var/aegir',
  'script_user' => 'aegir',
  'ip_addresses' => 
  array (
  ),
  'backup_path' => '/var/aegir/backups',
  'config_path' => '/var/aegir/config/platform_socledrupalcamp',
  'include_path' => '/var/aegir/config/includes',
  'clients_path' => '/var/aegir/clients',
  'master_url' => NULL,
  'admin_email' => 'admin@localhost',
);

When I tried to verify the platform with CLI, I hadn't any error.

aegir@debian-x72j:~$ drush @platform_socledrupalcamp provision-verify
Provision configuration root path /var/aegir/config exists.                                                                  [success]
Provision configuration root ownership of /var/aegir/config has been changed to aegir.                     [success]
Provision configuration root permissions of /var/aegir/config have been changed to 711.                  [success]
Provision configuration root path /var/aegir/config is writable.                                                           [success]
Provision configuration path /var/aegir/config/platform_socledrupalcamp exists.                              [success]
Provision configuration ownership of /var/aegir/config/platform_socledrupalcamp has been changed to aegir. [success]
Provision configuration permissions of /var/aegir/config/platform_socledrupalcamp have been changed to 711. [success]
Provision configuration path /var/aegir/config/platform_socledrupalcamp is writable.                       [success]
Provision client home path /var/aegir/clients exists.                                                                          [success]
Provision client home ownership of /var/aegir/clients has been changed to aegir.                             [success]
Provision client home permissions of /var/aegir/clients have been changed to 711.                          [success]
Provision client home path /var/aegir/clients is writable.                                                                   [success]
Changed permissions of /var/aegir/.drush/platform_socledrupalcamp.alias.drushrc.php to 640     [success]
Generated config in write(): Drush configuration file (/var/aegir/.drush/platform_socledrupalcamp.alias.drushrc.php) [success]
Changed permissions of /var/aegir/.drush/platform_socledrupalcamp.alias.drushrc.php to 440    [success]

Thanks for any help.