Linux makefiles fix