using uint32_t for facecount instead of unsigned long
unsigned long may be 8 bytes intead of 4 on some platforms (like 64-bit nix), which confoosles reading 4 byte facecount from binary stl files.
removed redundant trixFacecount function