remove gp stacksize from command-line (use .gprc instead)