Use MonetDB Oct2012-SP3