bugs.gh_8553_test. Get the modification time of a config file with a higher precision to fix cases when it's not reloaded after modification/replacement