fixed OBS debian package scripts for vishnu-dev