got rid of enable_sdcc4_detect too