trivial changes in some configurations & scripts