Fix getting bash version in Ubuntu 12.04