make the install target behave properly on linux