Dump bdd with sh script