Merge branch 'release/0.80.53' into develop
more makefile.
manually fix the migration. I manually did it already…
version bump for 0.80.54.
Merge branch 'release/0.80.54'