I have accidentally moved this file to the desktop (Stupid i know). The computer will not boot without it because it decrypts files with the SMC password. I have tried to use Single User Mode to move this file back to the System/Library/Extensions/ But I cannot remember the exact filename. Can some one tell me exactly what that filename is and give any tips?