Look for gcc-4.0 if gcc-4.2 is not found.

Fixes #2