* Fixed bugs #218 and #220: Install tool erroneously complained about low memory_limit