It might well be that the NewPing lib doesn’t fully function since I mainly focused on getting it to build first before going into the how does it work.
The TEENSYDUINO specifics might not fully apply, but I haven’t gone there yet.
The solution proposed in the linked thread above should work, though a bit slower.