ASL: upgrade to 20140704

Fixes #1056.