diff --git a/arduino-core/src/cc/arduino/Compiler.java b/arduino-core/src/cc/arduino/Compiler.java
index f52a8b94b..83b133ba6 100644
--- a/arduino-core/src/cc/arduino/Compiler.java
+++ b/arduino-core/src/cc/arduino/Compiler.java
@@ -72,7 +72,7 @@ public class Compiler implements MessageConsumer {
tr("WARNING: library {0} claims to run on {1} architecture(s) and may be incompatible with your current board which runs on {2} architecture(s).");
tr("Looking for recipes like {0}*{1}");
tr("Board {0}:{1}:{2} doesn''t define a ''build.board'' preference. Auto-set to: {3}");
- tr("Third-party platform.txt does not define compiler.path. Please report this to the third-party hardware maintainer.");
+ tr("Third-party platform.txt (package '{0}' platform '{1}') does not define compiler.path. Please report this to the third-party hardware maintainer.");
tr("Selected board depends on '{0}' core (not installed).");
tr("{0} must be a folder");
tr("{0}: Unknown package");
diff --git a/build/arduino-builder-linux32-1.0.0-beta11.tar.bz2.sha b/build/arduino-builder-linux32-1.0.0-beta11.tar.bz2.sha
deleted file mode 100644
index 1d2ae0752..000000000
--- a/build/arduino-builder-linux32-1.0.0-beta11.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-7ea03e8ae777fb1482925fbf8030bf6078525f17
diff --git a/build/arduino-builder-linux32-1.0.0-beta12.tar.bz2.sha b/build/arduino-builder-linux32-1.0.0-beta12.tar.bz2.sha
new file mode 100644
index 000000000..076f3ac29
--- /dev/null
+++ b/build/arduino-builder-linux32-1.0.0-beta12.tar.bz2.sha
@@ -0,0 +1 @@
+98707286ad3584b51796f1e0a55c59c2095c17e4
diff --git a/build/arduino-builder-linux64-1.0.0-beta11.tar.bz2.sha b/build/arduino-builder-linux64-1.0.0-beta11.tar.bz2.sha
deleted file mode 100644
index 6e08cb63c..000000000
--- a/build/arduino-builder-linux64-1.0.0-beta11.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-b91b8c2f0134bf39baa76afaa2d67ba1128f1f5e
diff --git a/build/arduino-builder-linux64-1.0.0-beta12.tar.bz2.sha b/build/arduino-builder-linux64-1.0.0-beta12.tar.bz2.sha
new file mode 100644
index 000000000..625db4534
--- /dev/null
+++ b/build/arduino-builder-linux64-1.0.0-beta12.tar.bz2.sha
@@ -0,0 +1 @@
+05acfdc4e7acbbd741793adde287376bd12d4e78
diff --git a/build/arduino-builder-macosx-1.0.0-beta11.tar.bz2.sha b/build/arduino-builder-macosx-1.0.0-beta11.tar.bz2.sha
deleted file mode 100644
index 3809d2563..000000000
--- a/build/arduino-builder-macosx-1.0.0-beta11.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-64a5bc87040e21773a6c6e8ed24951a77b725f55
diff --git a/build/arduino-builder-macosx-1.0.0-beta12.tar.bz2.sha b/build/arduino-builder-macosx-1.0.0-beta12.tar.bz2.sha
new file mode 100644
index 000000000..bbc74dfab
--- /dev/null
+++ b/build/arduino-builder-macosx-1.0.0-beta12.tar.bz2.sha
@@ -0,0 +1 @@
+e06c04c10276a0505a1a56999bfb0f5d1801da79
diff --git a/build/arduino-builder-windows-1.0.0-beta11.zip.sha b/build/arduino-builder-windows-1.0.0-beta11.zip.sha
deleted file mode 100644
index 42ddd1010..000000000
--- a/build/arduino-builder-windows-1.0.0-beta11.zip.sha
+++ /dev/null
@@ -1 +0,0 @@
-4ea167aaad4f17f8d91282172056f080db7f8d8c
diff --git a/build/arduino-builder-windows-1.0.0-beta12.zip.sha b/build/arduino-builder-windows-1.0.0-beta12.zip.sha
new file mode 100644
index 000000000..35561f1ee
--- /dev/null
+++ b/build/arduino-builder-windows-1.0.0-beta12.zip.sha
@@ -0,0 +1 @@
+d1deff261a6c82bb373d6b6cbeb3e8fde50f7f67
diff --git a/build/build.xml b/build/build.xml
index f8d4e7e5d..1f1f344e3 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -71,7 +71,7 @@
-
+