* Make sure "make run" works in all as-* directories.