--- configure	2011-03-22 14:11:19.000000000 +0100
+++ configure_new	2011-08-16 15:35:00.172118380 +0200
@@ -4051,11 +4051,11 @@
 
 { $as_echo "$as_me:${as_lineno-$LINENO}: result: ${SYSTEM_NETBEANS_DIR}" >&5
 $as_echo "${SYSTEM_NETBEANS_DIR}" >&6; }
 
 if test "$VVVERSION" = "1.3.2"; then
-   NB_PLATFORM=platform12;
+   NB_PLATFORM=platform;
 else if test "$VVVERSION" = "1.3.1"; then
    NB_PLATFORM=platform12;
 else if test "$VVVERSION" = "1.3"; then
    NB_PLATFORM=platform12;
 else