Fix some LUKS disk-encryption bash commands