32-bit programs generated by GCC-7.5.0 on ubuntu 18.04 are not based at 0x8048000

Question

I write a very simple program

//main.c
int main() {
        return 0;
}

and compile it into a 32-bit executable.

gcc main.c -m32 -