alarm/devtools-alarm to 20130525-1, fixes #504