Techniques for file synchronisation in file systems