add binary distribution for Ubuntu 12.04.3 32/64