Write the cleanup() method.

It avoids the following error while re-installing an extension:
```
PHP Warning:  mkdir(): File exists in …Pickle/src/BuildSrcUnix.php on line 32
Warning: mkdir(): File exists in …/Pickle/src/BuildSrcUnix.php on line 32
```
Not critical but dirty.