The hacked arduino distribution used for the finalkey software