temporary fix to syntax-case; care to run syntax-case boot without loading any config