extensions: tighten log output that is generated by extensions
extensions: tighten log output that is generated by extensions

Former-commit-id: ebce9ed028ced1a96ecff2186f3d3b449ad75c67
Former-commit-id: 7a44d6e25754ee1c7d6acd55a7963099cffee3af [formerly 56cbde7b2e21fdaa8867bd151a727519f5acde55] [formerly ec3a25efa796750baf00d051d0ad142f1da41928 [formerly 9af89cdc484ff29ef3ba6a044383e421598d5775]]
Former-commit-id: 49b219700a51ecbb3faa756a6e5e2d246bef9fb8 [formerly 679b2efca8c4f0cab9dc9a1d78d09f6c451fc342]
Former-commit-id: 2696de6470f901c8d57445e83012aeea91cbc73f
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild