Delete int-l64.h