add --ignore-osdeps command line option