Ignore temporary file used for docker build