Use %ebp for GCC 4.6, too