set MARCH in Make.user to core2 in order for the generic Docker images to
run on almost all architectures