Prepare to be able to do a hack for linux32.