remove build.xml as it shall not be necessary
Merge branch '0.5.0-debian' into release/main