This might resolve a problem with make