fix examples on linux