Yes, you are correct. It was installed previously in quickstart-3.7.0 and the source was in typo3_src-3.7.0. The contents of "quickstart", contains the symlinks to the source and the install script. After your ticket/post i just have to rename the "quickstart" folder to the one specified in your ticket.