double the memory for compilation, required by gcj