Done the same for executable.h