fixes posttools.ismain