maximum c stack array size in linux gcc