add the auctex support
add the nonforked files