Fix USE_SFMT.