Problem: long extension for Makefile supplement is surprising

We don't use long extensions anywhere else and this is surprising and
clumsy IMO. I don't know if there's a standard for this.

Solution: use a short extension (.ams).