fixed OS-specific selection of src and include files