fixing lib cache

Rémirequested to merge
fix_lib_cache into dev

type:fixed

Changelog details:

  • Fix a potential bug in standards libraries caching
Edited by Rémi

Merge request reports