#1072: attempt fix by adding #include <cctype>

bug introduced in 5120021402e6c31d6834ff4fee9bcbc99e871531 for windows only