revert user_defs.mk