Make doc of config.compiledir_format deterministic