minor fixes to setup files