Revert "gmp: remove options"

This reverts commit cb02bc150e4464bf955a7155eba2be5b6e4e9833.
Revert "ppl: remove options, clean spec file"

This reverts commit 93150c90323786b8dd2ad9eab058a910af0ddde8.