Github removes empty directories

This is simply here to make the directory is not empty because it is needed for compiling