Switch from cmockery to cmocka