phaeon: Don't re-implement printf