[PATCH] Fix Tramp build