adding back ding_user_frontend in makefile