Added missing --without-K option
Added missing --no-sized-types option