Use .adam extensions in jenkins-test script