configuring SHELL because libtools fails with dash in some systems

for example, in Ubuntu 12.04.2 LTS /bin/sh -> dash