Index: branches/cones-final/perllib/Polymake/Core/CPlusPlus.pm
===================================================================
--- polymake/perllib/Polymake/Core/CPlusPlus.pm	(revision 10311)
+++ polymake/perllib/Polymake/Core/CPlusPlus.pm	(revision 10342)
@@ -3426,7 +3426,7 @@
    }
    my $errfile=new Tempfile;
    my $debug_flag= $debug && "Debug=y";
-   my $rc=system("$MAKE -C $private_top/build.$Arch/apps/$app_name all-native $debug_flag $MAKEFLAGS JNI_HEADERS=$jni_headers" . (!$Verbose::cpp && ">/dev/null") . " 2>$errfile.err");
+   my $rc=system("$MAKE -C $private_top/build.$Arch/apps/$app_name compile-native $debug_flag $MAKEFLAGS JNI_HEADERS=$jni_headers" . (!$Verbose::cpp && ">/dev/null") . " 2>$errfile.err");
    if ($rc) {
       die "native library compilation failed; see the error log below\n\n", `cat $errfile.err`;
    }
Index: branches/cones-final/perllib/Polymake/Core/ObjectType.pm
===================================================================
--- polymake/perllib/Polymake/Core/ObjectType.pm	(revision 10313)
+++ polymake/perllib/Polymake/Core/ObjectType.pm	(revision 10340)
@@ -369,10 +369,10 @@
 
 # protected:
 sub invalidate_prod_cache {
-   my ($self, $prop)=@_;
-   if (defined (delete $self->all_producers->{$prop->key})) {
-      delete $self->shortcuts->{$prop->key};
-      invalidate_prod_cache($_,$prop) for @{$self->derived};
+   my ($self, $key)=@_;
+   if (defined (delete $self->all_producers->{$key})) {
+      delete $self->shortcuts->{$key};
+      invalidate_prod_cache($_,$key) for @{$self->derived};
    }
 }
 
Index: branches/cones-final/perllib/Polymake/Core/Rule.pm
===================================================================
--- polymake/perllib/Polymake/Core/Rule.pm	(revision 10322)
+++ polymake/perllib/Polymake/Core/Rule.pm	(revision 10340)
@@ -299,7 +299,7 @@
          die "rule ", $self->header, " can't trigger permutations\n";
       }
       push @{$proto->producers->{$ObjectType::init_pseudo_prop->key}}, $self;
-      $proto->invalidate_prod_cache($ObjectType::init_pseudo_prop) if $need_invalidate;
+      $proto->invalidate_prod_cache($ObjectType::init_pseudo_prop->key) if $need_invalidate;
 
       foreach my $input (grep { !is_object($_) } map { @$_ } @{$self->input}) {
          (undef, my @ancestors)=reverse(@$input);
@@ -325,7 +325,7 @@
             }
          }
          push @{$proto->producers->{$created_prop->key}}, $self, @prod;
-         $proto->invalidate_prod_cache($created_prop) if $need_invalidate;
+         $proto->invalidate_prod_cache($created_prop->key) if $need_invalidate;
 
       } else {
          my ($prop, @ancestors)=reverse(@$output);