[ixp1200] Hack to execute shared binaries on IXP2400