trivial makeall script change