Add RTS KSize flag, for the benefit of Travis test