This has the useful side-effect of ensuring that opt_smp.h is always generated, so we can assume it will always be available. Prompted by: Andrew Gallatin <gallatin@cs.duke.edu>