Don't throw error if auctex is not installed