replace echo by printf