Rename supercoder config_user to config.h