lib32-gmp: builds just fine this way