Fix some FIXMEs.

1 job for master in 1 minute and 22 seconds
Status Job ID Name Coverage
  Test
failed #1762
iris_atomic-coq8.5.3

00:01:22

 
Name Stage Failure
failed
iris_atomic-coq8.5.3 Test There is an unknown failure, please try again
Makefile.coq:274: recipe for target 'theories/treiber.vo' failed
make[1]: Leaving directory '/builds/FP/iris-atomic'
make: *** [all] Error 2
Makefile:19: recipe for target 'all' failed

real 0m13.267s
user 0m35.200s
sys 0m1.373s
ERROR: Build failed: exit code 1