Linux fix #2