Update ASL to 20140205.

Closes #659.