preparing lazygettx.hs for server run