vchoi_fork

[svn-r7946] Purpose:
    Bug fix

Description:
    Fix problems building on Debian Linux when Intel's "ecc" compiler is
not available.

Platforms tested:
    Eyeballed - very trivial patch from user.