This file has still further platform dependent paths at other places.