Fix 'make check'
Fix 'make check'
Note Mihai's recent change.