Fixes an issue with platforms definition in $expid/conf when you're using advanced configuration Closes #1129 See merge request !511