Fix tptserver and tvlserver install rules