ASL: version 20141111.

Fixes #1392.