stable: config: 3.13: make it real