With the "xgcc" change and addressing Alexandre's ":=" concern, the patch seems fine and works for me. Thanks, David