Try to fix the 'make ubuntu deploy' (close #7).