Fix #3 (Linux compatibility)