delete unused stuff for our docker repo