We should probably add a reference to #249 and/or explain what compiling twice tests.