add option to specify SBCL stack size