[PATCH] new pungi command line options