linux binaries and debian sdk for 1.4b