Whole Disk Encryption and the dscl password bug in OS X