Use stock ASL in ASLBuilder.