echo stinks at cross platform. using printf