Fix docker builds on armv7