Merge branch 'fix_proj_lib_develop' into 'develop'

Fix proj lib develop

See merge request !690
3 jobs for nightly in 71 minutes and 12 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Precheck
passed #21308
fast-build

00:05:41

 
  Build
passed #21309
allowed to fail
conda-linux-build

01:05:31

 
  External
passed cdash:ubuntu-18.04-fast