Correction, that was already done a long time ago so this directory is useless.