Revert to the main branch files, as driver-zeus.c is now incorporated