debian: bash is required to run libtool replacement script.