I have found the answer to this. In each of the .php files in your plugins, you will find a looooooooooong piece of code that has been added (either by the 4.0 upgrade or something else). It starts out with the following:
if(!isset($GLOBALS["\x61\156\x75\156\x61
delete the whole rest of the line of code and your plugin will reappear
