model-checking/cbmc-training not found