stuff to make the dockerfile work