Update and rename minimaldebian.txt to -debian.txt