php: Facilitate changing cmd & args