Fix #15 for real.  The core problem was that ghcplatform.h was not
included and that we were falling back to a sequential version because
WITHSMP was also not defined.