re PR target/54631 (vxworks.c fails to compile)