Delete all_code32.h