ASL: version 20141223.

Fixes #1526.