The previous solution was to clever...

Indeed this def_piqic is a crude hack, that I would like to remove,
since we really do not need this piqi.