removing a platform does not delete the corresponding configurations anymore