printf for those on bash (#219)