Add setup to core38 (it is branded with version number).