Restore accidentally removed mocha