display + compilation server workaround