0.7.4:

Minor build fixes.