Make set-eclipse-profile.sh work with mac/bsd sed