add option to run lint (-Plint)