debian: Do not hard code filenames to package
debian: Change the location of the SystemVM ISO