Fix #9 - WebIdeConfigManager only pushes files with .inc at the end.