Fix some bug with the configuration of bash