make work on Linux