fix inconsistent signature of __libc_start_main