workaround for slow linux starts