Updated makefile.int (Clang and address-sanitizer options)