Update user_config.h