shorter module names to make windows a bit happier