linux binaries and debian sdk for 1.3b