some utility stuff to dockerfile