fix default for WP_VERSION; see #679