Tweak of platform dependent make