dereck linux