Better iso filename in build script