model-checking/rmc not found