Tiny ubuntu fix