gitian: no -pie for 32-bit static linux executable