updated to latest version r416
done another svn update - seems that there was something missing...