Update PhiTiny.hpp