I always forget to delete the binary before pushing...