make AutoSplit happy on Linux