Looks like it doesn't like the pre compiled binaries. More of an issue with the deb pkg creator software then with TBS. You can make the tbs drivers manually correct? Try making them then using the deb pkg maker command
So I assume your not using hdmi video then eh? Or does that kernel branch have the framebuffer ported over ? Im trying to look at the src but its in an odd git format.