Added correct extension to autotest file