Under the "All Configuration" menue, the value for max. file size is already set to 10MB, so I don't know why the install tool is complaining. Once I changed it in php.ini, though, everything was fine. Thanks for the tip :)