Make the setup script more dynamic wrt file lists