Cryptr: Hotix #1 9/30

Fixed a build error that prevented the latest patch from being uploaded.