It seems several build bots have issues with setting the CXX_STANDARD property to 17. This reverts commit d184d022.