fix gmp ccache breakage again (previous fix was removed in a cleanup)
drwxr-xr-x - openwrt