Fix check for stdint.h
Added Tcl bindings