bd39ea6b20ecc07ed767c75dac7f48f8bdefa7a3 amp.gcc15.diff