reverse user_defs.mk