A patch was released to fix the bugs and users were forced to update their PIN codes.