Revert "Removed extra Gervais2012 reference"

This reverts commit dadabdf5b790e311660c12efb065b8e72f185d97.
Added more deletions to the makefile