Fixed __builtin config