linux binaries and debian dev package for 1.2b