Fix _IEEE.VITAL_TIMING.so being installed twice. Issue #69