chiark / gitweb /
execute: drop now unnecessary GCC pragma again