Migrate amplgsl.