supercop-20140910
Moved custom okcompilers lists to okcompilers-short