[PPL-devel] Empty for loops do not work in bash 2.05.8...