update core lib version

5 jobs for opendes-ga in 30 minutes and 31 seconds (queued for 5 minutes and 39 seconds)