Fix core dumping with certain use of perm coverage
Merge branch 'for-devel' of github.com:pablovirolainen/fMBT into for-devel