ASL: changes to use with linuxbrew.

Closes #857.